Algebraic logic - PDFSEARCH.IO - Document Search Engine

Algebraic logic
Results: 422

#	Item
51	Tackling Fibonacci words puzzles by finite countermodels Alexei Lisitsa1 Department of Computer Science, The University of Liverpool Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2013-06-10 17:15:26 Mathematics Logic Mathematical logic Model theory Fibonacci numbers Algebraic structures Semigroup theory Fibonacci word First-order logic Semigroup Interpretation Combinatory logic
52	Specifying and Verifying   Concurrent  Algorithms with   Histories and Subjectivity memoria software v3.qxd Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-04-16 09:10:05 Algebra Mathematics Abstract algebra Semigroup theory Algebraic structures Mathematical logic Category theory Monoid Algorithm Concurrent algorithm
53	Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-11-08 18:52:08 Automated theorem proving Logic programming Logic in computer science Computability theory Algebraic topology Substitution Unification Lambda calculus Sheaf Scheme Combinatory logic Morphism of algebraic varieties
54	A Fresh Look at Separation Algebras and Share Accounting? June 2009 Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-21 13:07:53 Mathematics Mathematical logic Algebra Algebraic logic Fuzzy logic Algebraic structures Boolean algebra Algebra over a field Residuated Boolean algebra Heyting algebra
55	J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-01-31 05:33:25 Algebra Mathematics Abstract algebra Universal algebra Mathematical structures Mathematical logic Algebraic structures Magma Sigma-algebra Structure F-algebra Model theory
56	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Marcelo Fiore Makoto Hamana Add to Reading List Source URL: www.cs.gunma-u.ac.jp Language: English - Date: 2013-05-13 02:37:11
57	Binary Relations, Algebras, Games R Hirsch, I Hodkinson, M Jackson, S Mikulas and others March 11, 2015 1 Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2015-05-01 04:08:35 Algebra Mathematics Abstract algebra Algebraic logic Algebraic structures Boolean algebra Mathematical logic Semigroup theory Relation algebra Monoid Residuated Boolean algebra Heyting algebra
58	Boolean Logic Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 1: Boolean Logic Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-24 08:06:04 Mathematics Logic gates Digital circuits AND gate OR gate Boolean function Multiplexer Negated AND gate Boolean algebras canonically defined Mathematical logic Boolean algebra Algebraic logic
59	CMCSInfinitary Howe’s Method Paul Blain Levy 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:17 Theoretical computer science Algebraic topology Philosophical logic Deduction Entailment Metalogic Preorder Bisimulation Sheaf Mathematics Logic Abstract algebra
60	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra